closed symmetric extension

闭对称扩张